Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events
نویسنده
چکیده
Developing a good software architecture for a complex system is a critically important step for insuring that the system will satisfy its principal objectives. Unfortunately, today descriptions of software architecture are largely based on informal “box-and-line” drawings that are often ambiguous, incomplete, inconsistent, and unanalyzable. This need not be the case. Over the past decade a number of researchers have developed formal languages and associated analysis tools for software architecture. In this paper I describe a number of the representative results from this body of work.
منابع مشابه
Cosastudio: A Software Architecture Modeling Tool
A key aspect of the design of any software system is its architecture. An architecture description provides a formal model of the architecture in terms of components and connectors and how they are composed together. COSA (Component-Object based Software Structures), is based on object-oriented modeling and component-based modeling. The model improves the reusability by increasing extensibility...
متن کاملXCD – Simple, Modular, Formal Software Architectures
Connector-Centric Design (XCD) is a new approach for specifying software architectures that focuses on the use of complex connectors. In XCD simple interconnection mechanisms like procedure-calls, event-buses, etc. are abstracted and components take a second place. XCD aids the clear separation in a modular manner of the highlevel functional, interaction, and control system behaviour, thus incr...
متن کاملFormal Specification and Validation of Dynamic Software Architectures
The principal characteristic of a Dynamic Software Architecture (DSA) is the ability to change its structure at run-time by adding or deleting components or connectors. I present here my research results and open issues on formal modeling and verifying dynamic software architectures.
متن کاملScenario-Driven Analysis of Component-Based Software Architecture Models
The architectural model of a system provides a high level description of a system in terms of components and connectors that coordinate the components to meet global requirements. Given a set of components and a scenario-based representation of the required application specific interaction requirements between the components, the application architecture design introduces connectors that provid...
متن کاملA Formal Method for Analyzing Software Architecture Models in SAM
The Software Architecture Model (SAM) is a general software architecture model based on a dual formalism combining Petri nets and temporal logic. A SAM model contains a hierarchical set of compositions, each of which consists of a set of components, a set of connectors, and a set of constraints. This paper proposes a formal method for analyzing SAM models in both element (either component or co...
متن کامل